Aide à la recherche   Requête : programmation informatique

187 fiches trouvées

Reponses 101 à 120

101	2008 Tangente Hors-série. N° 33. Nombres.
102	2008 Tangente Hors-série. N° 33. p. 14-17. L'invraisemblable nombre Omega.
103	2007 Accromath. N° 2. Hiver-printemps 2007. p. 26-30. Apprendre à parler à des machines.
104	2007 Mathematice. N° 6. MATHEMATIQUES avec XCAS.
105	2007 Mathematice. N° 7. Xcas, calcul formel (ou algébrique) et géométrie dynamique au lycée.
106	2005 Tangente. N° 107. p. 34-36. Savoir viser pour tracer une droite.
107	2004 Bibliothèque Tangente. N° 15. Calculabilité, décidabilité et complexité. p. 62-65.
108	2004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
109	2004 Bibliothèque Tangente. N° 15. La logique.
110	2003 Bulletin de l'APMEP. N° 448. p. 549-582. Comprendre l'expérimentation virtuelle jusqu'à ces limites.
111	2003 Quadrature. N° 48. p. 10-18. Enveloppe convexe des points situés à l'intérieur d'un convexe.
112	2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
113	2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
114	2003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
115	2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
116	2002 L'algorithmique : votre passeport informatique pour la programmation.
117	2002 Mathématiques. Première L. Fiches de Travaux Dirigés et de travaux Pratiques d'Informatique.
118	2001 Grand N. Spécial maternelle : Structuration de l'espace. T. 2.
119	2001 Grand N. Spécial maternelle : Structuration de l'espace. T. 2. p. 95-113. Torture de sol - LOGO.
120	2001 Tangente Sup. N° 13. p. 31-31. Tri par dénombrement et un exercice type.